Alberto Sangiovanni-Vincentelli (auth.): cercare sul sito Z-Library

Accesso libero alla conoscenza e alla cultura.

Don't use scam websites

Libri (21)
Più popolari
Lista
- Lista
- Tabella

1

Synthesis of Finite State Machines: Logic Optimization

Synthesis of Finite State Machines: Logic Optimization

Tiziano Villa, Timothy Kam, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

1997

Lingua:

english

File:

PDF, 9.74 MB

5.0 / 5.0

english, 1997

2

Noise Analysis of Radio Frequency Circuits

Noise Analysis of Radio Frequency Circuits

Amit Mehrotra, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

2004

Lingua:

english

File:

PDF, 8.60 MB

0 / 0

english, 2004

3

Embedded Systems Development: From Functional Models to Implementations

Embedded Systems Development: From Functional Models to Implementations

Springer-Verlag New York

Alberto Sangiovanni-Vincentelli, Haibo Zeng (auth.), Alberto Sangiovanni-Vincentelli, Haibo Zeng, Marco Di Natale, Peter Marwedel (eds.)

Anno:

2014

Lingua:

english

File:

PDF, 4.75 MB

0 / 0

english, 2014

4

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach

Hardware-Software Co-Design of Embedded Systems: The POLIS Approach

Felice Balarin, Massimiliano Chiodo, Paolo Giusto, Harry Hsieh, Attila Jurecska, Luciano Lavagno, Claudio Passerone, Alberto Sangiovanni-Vincentelli, Ellen Sentovich, Kei Suzuki, Bassam Tabbara (auth.)

Anno:

1997

Lingua:

english

File:

PDF, 18.05 MB

0 / 0

english, 1997

5

The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

2012

Lingua:

english

File:

PDF, 2.72 MB

0 / 0

english, 2012

6

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Embedded Software: Second International Conference, EMSOFT 2002 Grenoble, France, October 7–9, 2002 Proceedings

Springer-Verlag Berlin Heidelberg

Amir Pnueli (auth.), Alberto Sangiovanni-Vincentelli, Joseph Sifakis (eds.)

Anno:

2002

Lingua:

english

File:

PDF, 4.38 MB

0 / 0

english, 2002

7

The Unknown Component Problem: Theory and Applications

The Unknown Component Problem: Theory and Applications

Tiziano Villa, Nina Yevtushenko, Robert K. Brayton, Alan Mishchenko, Alexandre Petrenko, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

2012

Lingua:

english

File:

PDF, 4.83 MB

0 / 0

english, 2012

8

Synthesis of Finite State Machines: Functional Optimization

Synthesis of Finite State Machines: Functional Optimization

Timothy Kam, Tiziano Villa, Robert Brayton, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

1997

Lingua:

english

File:

PDF, 7.24 MB

5.0 / 5.0

english, 1997

9

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Analysis and Simulation of Noise in Nonlinear Electronic Circuits and Systems

Alper Demir, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

1998

Lingua:

english

File:

PDF, 7.17 MB

0 / 0

english, 1998

10

Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach

Security-Aware Design for Cyber-Physical Systems: A Platform-Based Approach

Springer International Publishing

Chung-Wei Lin, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

2017

Lingua:

english

File:

PDF, 4.10 MB

0 / 0

english, 2017

11

Logic Synthesis for Field-Programmable Gate Arrays

Logic Synthesis for Field-Programmable Gate Arrays

Rajeev Murgai, Robert K. Brayton, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

1995

Lingua:

english

File:

PDF, 9.29 MB

0 / 0

english, 1995

12

Logic Minimization Algorithms for VLSI Synthesis

Logic Minimization Algorithms for VLSI Synthesis

Robert K. Brayton, Gary D. Hachtel, Curtis T. McMullen, Alberto L. Sangiovanni-Vincentelli (auth.)

Anno:

1984

Lingua:

english

File:

PDF, 6.32 MB

0 / 0

english, 1984

13

Steady-State Methods for Simulating Analog and Microwave Circuits

Steady-State Methods for Simulating Analog and Microwave Circuits

Kenneth S. Kundert, Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

1990

Lingua:

english

File:

PDF, 5.02 MB

0 / 0

english, 1990

14

A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits

A Top-Down, Constraint-Driven Design Methodology for Analog Integrated Circuits

Henry Chang, Edoardo Charbon, Umakanta Choudhury, Alper Demir, Eric Felt, Edward Liu, Enrico Malavasi, Alberto Sangiovanni-Vincentelli, Iasson Vassiliou (auth.)

Anno:

1997

Lingua:

english

File:

PDF, 19.01 MB

0 / 0

english, 1997

15

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Cross-Talk Noise Immune VLSI Design Using Regular Layout Fabrics

Sunil P. Khatri, Robert K. Brayton, Alberto L. Sangiovanni-Vincentelli (auth.)

Anno:

2001

Lingua:

english

File:

PDF, 3.23 MB

0 / 0

english, 2001

16

Relaxation Techniques for the Simulation of VLSI Circuits

Relaxation Techniques for the Simulation of VLSI Circuits

Jacob K. White, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

1986

Lingua:

english

File:

PDF, 7.26 MB

0 / 0

english, 1986

17

Function/Architecture Optimization and Co-Design of Embedded Systems

Function/Architecture Optimization and Co-Design of Embedded Systems

Bassam Tabbara, Abdallah Tabbara, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

2000

Lingua:

english

File:

PDF, 8.42 MB

0 / 0

english, 2000

18

Synchronous Equivalence: Formal Methods for Embedded Systems

Synchronous Equivalence: Formal Methods for Embedded Systems

Harry Hsieh, Felice Balarin, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

2001

Lingua:

english

File:

PDF, 6.52 MB

0 / 0

english, 2001

19

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Morari (auth.), Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 7.73 MB

0 / 0

english, 2001

20

Substrate Noise: Analysis and Optimization for IC Design

Substrate Noise: Analysis and Optimization for IC Design

Edoardo Charbon, Ranjit Gharpurey, Paolo Miliozzi, Robert G. Meyer, Alberto Sangiovanni-Vincentelli (auth.)

Anno:

2003

Lingua:

english

File:

PDF, 9.24 MB

0 / 0

english, 2003

21

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Hybrid Systems: Computation and Control: 4th International Workshop, HSCC 2001 Rome, Italy, March 28–30, 2001 Proceedings

Springer-Verlag Berlin Heidelberg

Manfred Morari (auth.), Maria Domenica Di Benedetto, Alberto Sangiovanni-Vincentelli (eds.)

Anno:

2001

Lingua:

english

File:

PDF, 15.60 MB

0 / 0

english, 2001